#include <stdio.h>

int main(){
	unsigned int a = 0;
	while(++a !=0);
	a--;
	printf("int %d\n",a);

	return 0;
}
